/*test function return statement
 */
/*@*/
int test(int v)
{
  int i;
  bool found;
  i=100;
  found=false;
  while(true)
  {
    if (v==i)
      return v;
    else return i;
  }
  if (found)
    if (i>v)
      return i;
    else
    { 
      i=i+1;
      return i;
    }
  else
  {
    while(!found)
    {
      if (true)
      {
	i=i+1;
	return i;
      }
      else
      {
	return i;
      }
    }
  }
  i=i+1;
  return i;
}
/*@*/	


/*@*/
int main()
{
  return 0;
}
/*@*/
